Lemma 6.3.1

Let be a -algebra,

  1. If is self-adjoint, such that , then there exists a projection such that .
  2. Let . If there exists an element with and then . In the murray von Neumann sense.